कथन $(\sim p ) \vee( p \wedge \sim q )$ समतुल्य है
$p \wedge \left( { \sim q} \right)$
$p \to \sim q$
$q \to p$
$p \vee \left( { \sim q} \right)$
माना $\Delta \in\{\wedge, \vee, \Rightarrow, \Leftrightarrow\}$ इस प्रकार है कि $(( p \wedge q ) \Delta( p \vee q ) \Rightarrow q )$ पुनरूक्ति है। तब $\Delta$ बराबर है :
माना $F _{1}( A , B , C )=( A \wedge \sim B ) \vee[\sim C \wedge( A \vee B )] \vee \sim A$ तथा $F _{2}( A , B )=( A \vee B ) \vee( B \rightarrow \sim A )$ दो तर्क संगत व्यंजक हैं। तो ...........
$\sim (\sim p \Rightarrow q)$ के तार्किक समतुल्य कौनसा है
$(p \Rightarrow \;\sim p) \wedge (\sim p \Rightarrow p)$ कथन है एक
$p \Rightarrow q$ को ऐसे भी लिख सकते हैं